1. Aspect of Modern Logic
پدیدآورنده : by Evert W. Beth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
D8
B948
1970
2. Bergson and modern physics :
پدیدآورنده : M Capek
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
Q174
.
M337
2013
3. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
4. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
5. Carnap's Logical syntax of language
پدیدآورنده : edited by Pierre Wagner
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Carnap, Rudolf,1981-0791.Logische Syntax der Sprache,Congresses ، Logic, Symbolic and mathematical,Congresses ، Grammar, Comparative and general - Syntax,Congresses ، Logical positivism
رده :
B945
.
C163
L6338
2009
6. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
7. Connecting humans to equations :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics-- Philosophy.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA8
.
4
8. Creative Space :
پدیدآورنده : by Andrzej P. Wierzbicki, Yoshiteru Nakamori.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Philosophy.
9. Design science :
پدیدآورنده : Vladimir Hubka and W. Ernst Eder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Design industriel.
رده :
TA174
.
V533
1996
10. Empiricism, logic, and mathematics : philosophical papers
پدیدآورنده : Hahn, Hans, 9781-4391
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Philosophy,Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Intuition,Addresses, essays, lectures ، Infinite
رده :
B
29
.
H27
11. Experiencing mathematics :
پدیدآورنده : Reuben Hersh
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics-- Philosophy
رده :
QA8
.
6
.
H47
2014
12. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
13. General systems theory :
پدیدآورنده : Jeffrey Yi-Lin Forrest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System theory.,System theory.
رده :
Q295
.
F67
2018
14. Intuition and the Axiomatic Method
پدیدآورنده : \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
15. Intuition and the axiomatic method
پدیدآورنده : / edited by Emily Carson and Renate Huber
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mathematics--Philosophy,Intuitionistic mathematics.,Axioms.
16. Intuition and the axiomatic method
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Philosophy. ; Intuitionistic mathematics. ; Axioms. ;
17. Intuition and the axiomatic method
پدیدآورنده : / edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematic--Philosophy,Intuitionistic mathematics,Axioms
رده :
E-BOOK
18. Intuition in science and mathematics :
پدیدآورنده : Efraim Fischbein
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intuition,Mathematics-- Philosophy,Science-- Philosophy
رده :
Q175
.
F5468
1987
19. Kant's critique of pure reason :
پدیدآورنده : by Otfried Höffe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Kant, Immanuel,1724-1804., Kritik der reinen Vernunft.,Kritik der reinen Vernunft (Kant, Immanuel),Causation.,Knowledge, Theory of.,Reason.,Raison.,Théorie de la connaissance.,Causation.,Knowledge, Theory of.,Kritik der reinen Vernunft (Kant),PHILOSOPHY-- General.,Reason.
رده :
B2775
20. Logical and philosophical papers, 1909-13 /
پدیدآورنده : Bertrand Russell ; edited by John G. Slater with the assistance of Bernd Frohmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Modern-- 20th century.,Philosophy, Modern-- 20th century.,Logique moderne-- 20e siècle.,Philosophie-- 20e siècle.,Logic, Modern.,Logica.,Logique-- 20e siècle.,Philosophie-- Grande-Bretagne-- 20e siècle.,Philosophy, Modern.
رده :
B1649
.
R91
1983
vol
.
6
